Universal Interaction Systems with Only
نویسنده
چکیده
In the framework of interaction nets 6], Yves Lafont has proved 8] that every interaction system can be simulated by a system composed of 3 symbols named , and. One may wonder if it is possible to nd a similar universal system with less symbols. In this paper, we show a way to simulate every interaction system with a speciic interaction system constituted of only 2 symbols. By transitivity, we prove that we can nd a universal interaction system with only 2 agents. Moreover, we show how to nd such a system where agents have no more than 3 auxiliary ports.
منابع مشابه
Strength and Durability of a New Adhesive Bond to Superficial Dentin Using Etch and Rinse and Self-Etch Systems: An In Vitro Study
Background and Aim: Data regarding the efficacy of universal adhesives are limited. This study aimed to assess the durability of a universal adhesive bond to superficial dentin using etch and rinse and self-etch modes. Materials and Methods: In this in vitro, experimental study, 32 sound molars were randomly divided into two groups of Scotchbond Universal adhesive with two-step etch and rins...
متن کاملUniversal Grammar and Chaos/Complexity Theory: Where Do They Meet And Where Do They Cross?
Abstract The present study begins by sketching "Chaos/Complexity Theory" (C/CT) and its applica-tion to the nature of language and language acquisition. Then, the theory of "Universal Grammar" (UG) is explicated with an eye to C/CT. Firstly, it is revealed that CCT may or may not be allied with a theory of language acquisition that takes UG as the initial state of language acquisition for ...
متن کاملUniversal Approximation of Interval-valued Fuzzy Systems Based on Interval-valued Implications
It is firstly proved that the multi-input-single-output (MISO) fuzzy systems based on interval-valued $R$- and $S$-implications can approximate any continuous function defined on a compact set to arbitrary accuracy. A formula to compute the lower upper bounds on the number of interval-valued fuzzy sets needed to achieve a pre-specified approximation accuracy for an arbitrary multivariate con...
متن کاملA New Class of Decentralized Interaction Estimators for Load Frequency Control in Multi-Area Power Systems
Load Frequency Control (LFC) has received considerable attention during last decades. This paper proposes a new method for designing decentralized interaction estimators for interconnected large-scale systems and utilizes it to multi-area power systems. For each local area, a local estimator is designed to estimate the interactions of this area using only the local output measurements. In fact,...
متن کاملAssessment of research systems in universal health coverage-related organizations
Background: Universal health coverage (UHC) is the desired goal of achieving universal access to health services without having to endure pain and financial difficulties. Multiple factors can help steer countries toward UHC. One of the most important factors is the production of valid quality evidence that can be achieved through research. The present study aimed at outlining...
متن کامل